Peter Henderson, Functional Programming Application and Implementation, PrenticeΓÇôHall, 1980.
An outstanding book on the theory, design and implementation of a class of LispΓÇôlike functional programming languages. Pixie Scheme was originally based on the implementation of an SECD machine described herein.
I found the book to be somewhat a "sleeper": I almost stopped reading it because the material in the first few chapters seemed elementary and familiar. I am glad I continued.